GtkHeaderBar: Refresh window buttons when settings change

We already do this when the shell-shows-menu settings changes,
but we forgot to do the same for the decoration layout.

diff --git a/gtk/gtkheaderbar.c b/gtk/gtkheaderbar.c
index d1f3fa4188cb420fbfaa2ce44084451357627d7d..f466cafb70f22bed9b5188fc7e521c1b3084e5e4 100644 (file)
--- a/gtk/gtkheaderbar.c
+++ b/gtk/gtkheaderbar.c
@@ -1722,6 +1722,8 @@ gtk_header_bar_realize (GtkWidget *widget)
   settings = gtk_widget_get_settings (widget);
   g_signal_connect_swapped (settings, "notify::gtk-shell-shows-app-menu",
                             G_CALLBACK (_gtk_header_bar_update_window_buttons), widget);
+  g_signal_connect_swapped (settings, "notify::gtk-decoration-layout",
+                            G_CALLBACK (_gtk_header_bar_update_window_buttons), widget);
   _gtk_header_bar_update_window_buttons (GTK_HEADER_BAR (widget));
 }